extern void print1();